﻿% Dạng 4.1.1 {con vật} đẻ/ăn/sống ở {thông tin} phải không/phải vậy không/đúng vậy không?


cau_hoi(lambda(X,TT)) --> thong_tin(TT) , tu_nghi_van , dau_hoi.

thong_tin(DT) --> doi_tuong_thong_tin1(DTTT1) , dong_tu(DT) , doi_tuong_thong_tin2(DTTT2),{arg(1,DT,DTTT1),arg(2,DT,DTTT2)}.

doi_tuong_thong_tin1(X) --> [X].

doi_tuong_thong_tin1(X) --> [con,X].

dong_tu(thức_ăn(X,Y)) --> [ăn].

dong_tu(nơi_sống(X,Y)) --> [sống,ở].

dong_tu(đẻ(X,Y)) --> [đẻ].

doi_tuong_thong_tin2(X) --> [X].

tu_nghi_van --> [phải,không].

tu_nghi_van --> [phải,vậy,không].

tu_nghi_van --> [đúng,vậy,không].

dau_hoi --> [?].